众核处理器访存链路接口的FPGA验证

面向众核处理器提出一种访存链路接口的现场可编程门阵列(Field-Programmable Gate Array,FPGA)验证平台,用于对处理器访存链路关键部件进行功能及可靠性测试。提出片上读写激励自动产生与检查机制、以太网接口硬件用户数据报协议(User Datagram Protocol,UDP)协议栈和FPGA芯片间多通道并行链路三项关键技术并进行设计实现。实验结果表明提出的各项关键技术功能正确,不仅丰富了功能验证中随机激励产生及结果验证的手段,而且实现了对链路数据检错和多lane间延迟偏斜纠正逻辑的可靠性测试与评估。经过该平台验证的访存链路接口在实际芯片中通过了功能正确性测试,证明了验证的有效性。     

流编程模型下的存储一致性模型

在流编程模型下建立了一个新的存储一致性模型--流一致性模型,它比传统的释放一致性模型更加松弛.讨论了流一致性模型对程序设计和系统设计的要求,给出了一个正确的系统实现,并且指出流一致性模型的编程和实现并不比现有的一致性模型复杂.     

Externalities in Military Spending and Growth: The Role of Natural Resources as a Channel through Conflict

This investigation re-examines the potential sources of positive externalities for the relationship between military spending and economic growth using recent advances in panel estimation methods and a large data-set on military expenditure. The investigation provides a new analysis on the relationship between conflict, corruption, natural resources and military expenditure and their direct and indirect effects on economic growth. The analysis finds that the impact of military expenditure on growth is generally negative as in the literature, but that it is not significantly detrimental for countries facing higher internal threats and for countries with large natural resource wealth once corruption levels are accounted for.     

梯度学习的参数控制帮助线程预取模型

对于非规则访存的应用程序,当某个应用程序的访存开销大于计算开销时,传统帮助线程的访存开销会高于主线程的计算开销,从而导致帮助线程落后于主线程。于是提出一种改进的基于参数控制的帮助线程预取模型,该模型采用梯度下降算法对控制参数求解最优值,从而有效地控制帮助线程与主线程的访存任务量,使帮助线程领先于主线程。实验结果表明,基于参数选择的线程预取模型能获得1.1~1.5倍的系统性能加速比。     

ENERGY FOR SECURITY:

Though North Korea agreed to partial denuclearization in February 2007, achieving that goal is at best a long way off. A natural gas pipeline linking all of Northeast Asia and promising energy and economic help could help convince the isolated nation to step away from its nuclear programs entirely; it could also provide the nonproliferation and energy security benefits that have eluded the region for so long. These economic benefits could motivate the other nations involved in the six-party talks to deal with North Korea more than if only nuclear reactors were offered.     

嵌入式装备测试系统设计研究

针对现代装备测试性需求,利用ARM微处理器构建了基于CAN总线网络的多路嵌入式数据采集系统,介绍了嵌入式数据采集系统硬件组成、硬件模块实现以及软件设计;检测数据经过CAN总线存入SD卡存储器,并进行后期数据的存取和处理．实验结果表明,该系统能够可靠、准确地对多路信号进行采集,实现对火炮装备的检测．     

“协同制导通道”基本概念及其应用分析

舰艇编队协同反导作战,是海上网络中心作战的典型样式.针对舰艇编队网络化协同反导作战装备体系特殊性,提出了“协同制导通道”基本概念和数学表示方法,并对基于协同制导通道分配方法运用于网络化反导作战条件下武器资源分配进行了研究.分析了单舰反导作战“武器目标分配”的局限性,网络化反导作战“弹-目匹配”新需求和“协同制导通道”的选择方法,为确定“协同制导通道”选择的最优化指标,提出选择“协同制导通道”优化算法奠定了基础.     

论人力资源管理的重心——人本管理

人本管理是人力资源管理的重心,对提高人员工作效率和敬业精神均有重要意义。本文从人本管理的实质、西方人本管理理念和新世纪人本管理发展三方面就人本管理的现实意义和重要作用做了论述。     

论网络环境下公安院校图书馆信息资源的共建与共享

在图书馆现代化建设中,资源共享是实现文献资源合理配置、有效管理、充分利用的最佳途径,是图书情报服务人员所追求的共同目标,也是国内外图书馆建设与发展的大趋势。因此,如何在网络环境下实现信息资源的共建共享,已成为进一步深化公安院校图书馆现代化建设、拓宽服务领域、提高服务质量的重要课题。     

PMESI：一种优化进程私有数据访问的缓存一致性协议

并行应用程序中绝大部分的访存是对私有数据的访问,在cache一致性协议上不会产生冲突。传统一致性协议没有根据程序私有数据的访问模式进行针对性设计,存在着很大的优化空间。针对以上的问题,提出了一种支持私有状态的cache一致性协议PMESI,通过动态关闭和激活内存空间的cache一致性目录,优化私有内存空间的访问延迟和功耗。通过时钟精确模拟器的测试,PMESI协议优化了程序中54%的访存,并行程序的执行时间平均缩短了9%。